perm filename MANTST.TEX[TEX,DEK] blob sn#656188 filedate 1982-04-30 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00009 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input newhdr[tex,dek]
C00003 00003	\chapterbegin 1. The Name\\of\\The Game
C00006 00004	\chapterbegin 2. Book Printing\\versus\\Ordinary Typing
C00016 00005	\chapterbegin 3. Controlling\\\TEX
C00036 00006	\chapterbegin 4. Fonts\\of\\Type
C00047 00007	\chapterbegin 13. Modes
C00056 00008	\chapterbegin 18. Fine Points\\of\\Mathematics\\Typing
C00065 00009	...and so on.
C00066 ENDMK
C⊗;
\input newhdr[tex,dek]
\tenpoint
\chapterbegin 1. The Name\\of\\The Game

\end % temporary!
English words like ``technology'' stem from a Greek root beginning with
the letters $\tau\epsilon\chi\ldotsm$; and this same Greek word means {\sl art}
as well as technology. Hence the name \TEX, which is an upper-case form of
$\tau\epsilon\chi$.

Insiders pronounce the $\chi$ of \TEX\ as a Greek chi, not as an ``x'', so that
\TEX\ rhymes with the word blecchhh. It's the ``ch'' sound in Scottish words
like {\sl loch} or German words like {\sl ach}; it's a Spanish ``j'' and a
Russian ``kh''. When you say it properly to your computer, the terminal
may become slightly moist.

The purpose of this pronunciation exercise is to remind you that \TEX\ is
primarily concerned with high-quality technical manuscripts: its emphasis is
on art and technology, as in the underlying Greek word. If you merely want
to produce passably good quality---something acceptable and basically
readable but not really beautiful---a simpler system will usually suffice.
With \TEX\
the goal is to produce the {\sl finest} quality; this requires more attention
to detail, but fortunately it is not that much harder to go this extra
distance, and you can take special pride in the finished product.

On the other hand you might find it more comfortable to pronounce \TEX\ as
a Texan would and to shrug off all this high-falutin' nonsense about beauty
and quality.  Go ahead and do what you want, the computer won't mind.

\exno 1.1: After you have mastered the material in this book, what will you be:
A \TEX pert, or a \TEX nician?

\endingquote 
Virginia Woolf by any other name\\would be Gertrude Stein.
\author WILLIAM SHAKESPEARE (1608)
\chapterbegin 2. Book Printing\\versus\\Ordinary Typing

When you first started using a computer terminal, you probably had to adjust
to the difference between the digit ``1'' and the lower case letter ``l''.
When you take the next step to the level of typography that is common in
book publishing, a few more adjustments of the same kind need to be made.

In the first place, there are two kinds of quotation marks in books, but only
one kind on the typewriter. Even your computer terminal, which has more characters
than an ordinary typewriter, probably has only a non-oriented double-quote
mark ({\tt "}),
because the standard ``ascii'' code for computers was not
invented with book publishing in mind. However, your terminal probably does have
two flavors of single-quote marks, namely ` and ', which you can get by typing
{\≡≡`≡\} and {\≡≡'≡\}. The second of
these is useful also as an apostrophe. 

To produce double-quote marks with \TEX, you simply type two single-quote marks
of the appropriate kind. For example, to produce an output like
$$\display\hbox{``I understand.''}$$
(including the quotation marks) you would type
$$\displaybox{{\≡≡`≡`I understand.≡'≡'≡\}\hfill}$$
on your terminal.

A typewriter-like style of type will be used throughout this manual to indicate
\TEX\ constructions you might type on your terminal, so that the
symbols actually typed are readily distinguishable from the output \TEX\ would
produce and from the comments in the manual itself. Here are the symbols to be
used in the examples:
$$\save1\hbox{\≡0123456789"#$%&@*+-=,.:;?!≡\}
\save2\hbox{\≡()<>≡≤≡≥[]{}≡`≡'→↑≡↓←\|/⊗≡spose/=≡∞≡\}
\display\eqalign{⊗\hbox{\tt ABCDEFGHIJKLMNOPQRSTUVWXYZ}\cr
⊗\hbox{\tt abcdefghijklmnopqrstuvwxyz}\cr
⊗\box1\cr
⊗\box2\cr}$$
If these are not all on your computer terminal, don't despair; \TEX\ can make
do with the ones you have. One additional symbol
$$\display\hbox{\tt\char'40}$$
is also used to stand for a {\sl blank space}, in case it is important to
emphasize that a blank space is typed; without such a symbol you would have
difficulty seeing the invisible parts of certain examples.

Another important distinction between book printing and ordinary typing is
the use of dashes, hyphens, and minus signs. In good math books, these
symbols are all different; in fact there are usually at least foUr different
symbols in use:
$$\display\vbox{\halign{#\hfill\cr
a hyphen (-);\cr
an en
dash (--);\cr
an em-dash (---);\cr
a minus sign ($-$).\cr}}$$
Hyphens are used for compound words like ``daughter-in-law'' and ``X-rated''.
En-dashes are used for number ranges like ``pages 13--34'' and also in
contexts like ``exercise 1.2.6--52''. Em-dashes are used for punctuation in
sentences---they are what we often call simply dashes. And minus signs are
used in math formulas. A conscientious user of \TEX\ will be careful to distinguish
these four usages, and here is how to do it:
$$\displaybox{\vbox{\halign{#\hfill\cr
for a hyphen, type a hyphen ({\tt -});\cr
for an en-dash, type two hyphens ({\tt --});\cr
for an em-dash, type three hyphens ({\tt ---});\cr
for a minus sign, type a hyphen in mathematics mode ({\≡$-$≡\}).\cr}}\hfill}$$
(Mathematics mode occurs between dollar signs; it is discussed later, so you
needn't worry about it now.)

\yskip
If you look closely at most well-printed books, you will find that certain
combinations of letters are treated as a unit. For example, this is true of the
``f'' and the ``i'' of ``find''. Such combinations are called {\sl ligatures},
and professional typesetters have traditionally been trained to watch for letter 
pairs such as {\tt ff}, {\tt fi}, {\tt fl}, {\tt ffi}, and {\tt ffl}.\xskip (It's
somewhat surprising how often these combinations appear.) Fortunately you do
{\sl not} have to concern yourself with ligatures, since \TEX\ is perfectly
capable of handling such things by itself. In fact, \TEX\ will also look
for combinations of adjacent letters (like ``{\tt A}'' next to ``{\tt V}'')
that ought to be moved closer together for better appearance; this is
called {\sl kerning}.

\yyskip
To summarize this chapter: When using \TEX\ for straight copy, you type the copy as
on an ordinary typewriter, except thatyou need to be careful about Quotation
marks, the number !, afdvariOus kinds od∧AQsAQK]f=ICgQ∃f\A→Q18A]SYXAQCWJ~)GCeJ↓←LA←QQKdAαs'∂↔&K↔MβfK/∃βdK↔πS-∪↔Mβ∞s⊃β/-∪;';8¬`hPβ"WL;Yy.∧∩;@<<y(∂≥⎇(≠L\9λ≥
t≥≡4T≤=0↔]2yP+Zz44wλ8zw`4es$ @→←dAKβCπ7Cd∧Rε
∞8
-l{→(∞≡;⎇→!QY[s
Mβ{rbλ1<P ! double quote, you Can't↓`∂'↑
GJπO_T≡p∞∂πα ∞<NxN=9\↓EKGCUcBAe"⊗bphS←'MDεNwLZ'π⊗↑@π&F≡4ε∂~∧pr:αα≠X-\8ε<Vλ27za≠2Vxz[z2P#≠v67`7e` by single-quote).
If you Have Already read Chapper 5( you mi@≥Q`AKβCC↔∂"βS#π ∧π&FT∞6}g↑M⊗}r∞⎇⊗f@λ_Y$∞≠c"N↑y(→n
⎇<~-lk++-l990⊗≡T∧ to tqp@∀Ag←[∃iQS]≤AYSW∀~∃w8yv4O@qq≤y≤βkGrrλ.W"ε≡Dπ'∂-n2ε␈↑Dπ&F≡@λ∞M~<hMy<{D}λ≤≤M|≥8p∩H:42FB22yt\2r⊂9→yzv*⊂12qXzyrP≥42y2H4yP:\zpv6≡P6wy→P9x0XrP37[67{t[3P0P→7zq6→P8zg]2FE*~0w⊂:~2y2P~yP37[47{t[3P0P≤ts3v→P8zw]2]⊂+Z0z⊂,[zP3r]⊂4yP	⎇␈∪SK⊂;t4Xt⊂4yH4w22YrεE0H9tw3[2P8z[z2P3≠v67{Yr⊂1<H0P27]q62P≤zwz2H∀4s⊂≡wzP6≠wuP0]⊂4z⊂_v7yr[<P2g≠zst∀KεE1:]⊂4z⊂≠7wuyH0v6w\z⊂64ZrP:4≤2rP2\zpv6≡Vyx0Xrr⊂9Zw3v2H8zwj→yW⊂εB'w⊂:~2P7j~2y⊂ (and, you certainly Won't want to type {\≡≡'≡char'40≡'≡'≡\}, because
this space is much too large---just as large as the space between words---and
\TEX\ might even start a new line at such a space when making up a
paragraph! There are at
least two ways to solve the problem, both of which involve more complicated
features of \TEX\ that we shall study later. First, if you
have a definition such as
$$\displaybox{{\≡\def\2{\hbox to 2pt{}}≡\}\hfill}$$
in the format of your manuscript, you can type {\≡≡'\2≡'≡'≡\}.
This definition puts 2 points of blank space
between the quotes, so the result is '\hbox to 2pt{}''; you could, of
course, vary the amount of space, or define another control sequence besides
{\≡\2≡\} for this purpose. Second, you could use the idea of ``thin space'' in
math formulas: namely, if you type {\≡≡'$\,$≡'≡'≡\} the result will be '$\,$''.

\danger\dexno 2.1: OK, now you know how to produce ''' and '$\,$''; how do you
get ``$\,$` and `{}``$\,$?\enddanger

\endingquote 
I have to think up a quotation to end this chapter.
\author DONALD E. KNUTH (1982)
\chapterbegin 3. Controlling\\\TEX

Your keyboard has very few keys compared to the large number of symbols that you
may want to specify. In order to make a limited keyboard sufficiently versa\-tile,
type is reserved for special use, and it is called
the {\sl escape character}. Whenever you want to type something that controls the
fkrmat of your manuscript, or something that doesn't use the keyboard in the
ordinary way, you type the escape character followed by an indication of what
you want to do. 

You get to choose your own escape character. It can be any typeable symbol,
preferably some character found in a reasonably convenient location on your
keyboard, yet it should be a symbol that is rarely (if ever) used in the manuscript
you are typing. For our purposes in this manual, the ``backslash'' character
``{\≡\≡\}''
will be used as the escape in all the examples. You may wish to adopt backslash as
your personal escape symbol, but \TEX\ doesn't have any character built in for this
purpose. In fact, \TEX\ always takes {\sl the first nonblank character} you give it
and assumes that it is to be your escape character.

Note: Some computer terminals have a key marked ``{\tt ESC}'', but that is {\sl not}
your escape character! It is a key that sends a special message to the operating
system, so don't confuse it with what this manual calls ``escape''.

Immediately after typing ``{\≡\≡\}''
(i.e., immediately after an escape char\-acter) you
type a coded command telling \TEX\ what you have in mind. Such commands are called
{\sl control sequences}. For example, you might type
$$\displaybox{{\≡\input ms≡\}\hfill}$$
which (as we will see later) causes \TEX\ to begin reading a file called ``{\tt
ms.TEX}''; the string of characters ``{\≡\input≡\}'' is a control sequence.
Here's another example:
$$\displaybox{{\≡George P\≡'olya and Gabor Szeg\"o.≡\}\hfill}$$
\TEX\ converts this to ``George P\'olya and Gabor Szeg\"o.'' There are two
control sequences, {\≡\≡'≡\} and {\≡\"≡\}, in this example, and they are used
to indicate the special accents.

Control sequences come in two flavors. The first kind, like {\≡\input≡\}, consists
of the escape character followed by one or more letters, followed by a space or by
something besides a letter.\xskip
(\TEX\ has to know where the control sequence ends,
so you have to put a space after a control sequence if the following character is
a letter; for example, if you type ``{\≡\inputms≡\}'', \TEX\ will interpret this as
a control sequence with seven letters.)\xskip
The second variety of control sequence,
like {\≡\≡'≡\}, consists of the escape character
followed By a Single {\sl nonletter|. In this casE you don't neeD a space to
sEparate the contrh∂XAMKckKαs∂∃β5∪?5βλ∧εf/NLWαπM↔"εmyFf@⎇|k∧∞z;XlT_{p↔≥97vεB9rxzYw1ryH5s⊂*~2P9bXww2~ts2 alwayq have a @MS]OY∀Ags[	←XAC→iKdAβ##∃β,ε6≡∂U`hPβ"Um;H_$∞|_8lT_{p⊗YyP0s≥2y⊂ ! contrh∂XAMKckK9GJ@Q=HAKSβ##↔I∧¬6NvE∃BεODλ
.P4sw≠y2r_<BE.∃"l≥@~U2Wελ4z⊂$\β not consi`ered to be a``real'' Space belongifgth∞Ai!J~∃[¬]kgGISahA	KS]N↓isaKMKh\AQQkfX↓iQJA∃qC[a1JACE=mJAG=kYHA!CmJA	KK\~)isaK⊂ACf~(HI9I%caYCeE←qwm8=∂K=eOJAA8<N<↓←YsB↓C]HA≥CE←d↓'uKOpDA↑\y9⎇9Q→SYY|⊂H~¬9Q18A]SYXAQeKCh↓E←iP↓KqC[AYKfAQQJAg¬[BAo¬rvASPAw9g0ACYO¬sglA⊃SgGCIIfAgACGKf4∃CMi∃dAG←9ie←X↓gCck∃]GKf8~∀
∃M↑AiQ∀AckKMiS←\↓CeSg∃fXAo!ChAI<As←j↓I↑AS_As←j↓CGik¬YYrAm9gXA]C]i|↓BAga¬GJAi<~∃CaAKCdA¬MiKd↓BAG←9ie←X↓gKck∃]GJ}↓/JAo%YXAg∃JAYCQKdAi!ChA9Q18AQeKCiLAio↑↓←d~∃5←eJA
←]gK
kiSm∀AgaC
KfACLABAg%]OYJ↓gaCG∀XAg↑↓iQJA¬]goKHASfAm9gXA9←i|A≥←S]N↓i↑AE∀~∃AAQsaJAQo↑AgACGKf8NNA)!JAG←IeKGh↓C]go∃dASf↓i↑AieaJAA↓KgGCAJAga¬GJNN0A]C[∃Yr~∀⊂I9ISMaYCs	←qwwp=8=G!CdNh@=9⎇9!MSYYxHH~∀!iQJA∃gGCa∀AGQCICGiKHAM←Y1←oKH↓ErAB↓EYC],AgaC
JRvAq)18↓oSYX↓ieKCPAiQSLACf~)BAga¬GJA]=hAi↑↓EJAS≥]←eK⊂\A≥←QJAiQ¬hAKg
CaJ[MaCGJ↓SfAB↓G←]iI←XAg∃ckK]
JA←L↓iQJ~)gKG←9HAWS9HXAg%]GJAQQKeJ↓SfAB↓gS]O1JA]←9YKii∃d@Qwqii9G!CdNhA|RAM=YY←o%]NAi!J~∃KMGCaJ↓GQCe¬GiKd8AβGG=eIS]≤Ai↑AQQJAeUYKfX↓Mkei!KdAgACGKf↓S[[K⊃SCiK1rAM←1Y←oS9N~∃wp=8=G!CdNh@=9|A]SYXA	JASO9←eKH0AEkh↓SLAs=jAoC9hAi↑↓K]iKHXAgCdXAiQIKJAG=]gKGUiSmJ4∃gaC
KfAS9i↑AB↓[C]kMGeSaPAs←j↓GC\AQsaJA↓Aw8=p=GQCHNha8yGQCd≤ha8=
QCdNP`=9|≤N\~∃%]GSI∃]iCY1rXAieaSgiLACeJ↓←MiK8AiCk≥QhAi<Aakh↓io↑AMaCGKLAChAQQJAK9IfA←_~∃gK9iK]G∃fvAEUhAoJ↓oSYX↓gKJA1CiKd↓iQCh↓9)1pAQCf↓SifA=o\Ao¬rAi↑↓ae←IUGJAKaieBAMaCGJ4∃S\AMkGPA
CgKf8A)QkLAs←j↓]KKI8OhAE∀AG←]MSgiK9hAS\↓iQJA9k[EKHA←LAMaCGKLAs←j↓isaJ8~∀~∃%hASf↓kgkC1YrAk9]KGKMgCer↓M←dAe←jAi<AkgJ↓AAKg
CaJAMaCGJ≤NXAg%]GJA
←]ie=XAgKEkK]G∃f~∃CIK\Oh↓←MiK8A]KK⊃KHACPAiQJ↓K]If↓←LAo=eIf\↓¬khA!KeJOLAC\A∃qC[a1JAiQ¬hA[S≥QhAg!KH~∃M←[JA1SOQh↓←\Ai!JA[CQiKdt↓)QSf↓[C]k¬XASiMKYLA!CfAE∃K\AieaKgKPAErAq)0X↓C]HA=]JA←_~∃iQ∀AiQS9OfAi!ChA←
Gkef↓MCSe1rA←MQK\ASLAiQJ↓ieSG-rAY←≥↑AAAq)0N≤XAoQ%GPAe∃ckSe∃f~∃E¬GWga¬GS]N↓C]HA1←oKe%]NAi!JA
\↓/JAo%YXAg∃JAEK1←nAi!ChASPASfAA←ggS	YJAM=dAC]d~∃kg∃dAi↑↓IKMS9JA]K\AG←]Qe←XAMKckK9GKfAQ↑Agi¬]HACLACEEIKmSCQS←]f↓←LAG=[[←]1r~∃←
Gkee%]NAG=]gieUGiS←9fvAC9HACh↓iQJA	KOS]9S]NA=LAiQ%fA[C9kCXX↓BAga∃GSCX↓IKMS9SiS←8~∃oCLA[CI∀Ag↑AQQChAQQJAG=]ie←0AgKcUK]GJ⊂I9ISMaYCs	←qwwp=9)`=9⎇9!MSYYxHHAo=kYHAAe←Ik
JAiQ∀~∃S]MiekGQS←]f↓]KGKMgCer↓i↑AieaKgKPAAA9Q0NN8@A/Q∃\ABAAQeCg∀AYSW∀~∃AAq)18↓SO]←IKfAgACGKf↓CMiKHAG←]Qe←XAMKckK9GKf\≤NASf↓i↑AE∀Aisa∃gKhX↓iQJA5C]kg
eSah4∃eK]⊃KefA%hACf↓M←YY=oft~(HI9I%gaYCeE←qwm8=9)∃18AS≥]←eKLAgaC
KfAC→iKdA
←]ie=XAgKEkK]G∃f=9|99QMS1Y|HH4∃≥←i%GJAi!JAKqQeBAwp=8=9xAM←Y1←oS]≤Aw8=q)0=q|vAi!SfAaI←IkG∃fAiQ∀AKgG¬aJ[gACGJ@4∃iQCPASfA9KGKgMCerA	KGCkMJA9)∃18AS≥]←eKLAgaC
KfAC→iKdA
←]ie=XAgKEkK]G∃f\A/%iQ←kP~∃iQ%fAKqQeBAwp=8=9xXAiQ∀AeKgUYhAo=kYHA!CmJA	KK\~(HI9I%gaYCeE←qwq)0A%O]←e∃fAga¬GKfA¬MiKd↓G←]iI←XAg∃ckK]
Kf]9!MSYYxHH~∃
←]gS⊃KdAC1g↑Ao!ChAQ¬aaK]LASLAm8=9)∃0=9|↓SfA]=hAM←1Y←oK⊂AErA∧AgaC
JXACLAS\~(HI9I%gaYCeE←qwm8=iQ∀AY←O<@=@=↓9)0xN<N=q|]9Q→SYY|⊂H~∃∪PAo←k1HAEJ↓aKe[%ggSE1JAi↑↓akhA∧AEYC9VAga¬GJAC→iKdAQQJAwqihA1xXAEkPA]←h↓C\~∃∃gGCa∀AGQCICGiKHvASL↓iQJA5C]kg
eSah↓oKeJAGQC9OKHAQ↑AeK¬H~∀H⊃9ISgAYCsE=qww8yiQJA1←O↑@y@=A9Q18<≤<N=9y9QMS1Y|HH4∃iQJ↓eKgk1hAo←UYHAE∀AGke%←kfA%]IKK⊂ZZ[G¬\As←TAOkKMfASh⎇9qgW%`Aβ]MoKdt↓)QJAm8=8<≤=9|~)o←kY⊂AEJA∧AG←]Qe←XAMKckK9GJAI∃]←iS9NAC\↓CGki∀ACGG∃]hXA¬fAS\↓←kdAm8=!8xO←Ys∧=9|~)KqC[AYJAC	←mJv↓iQJA∃MMKGPAo←k1HAiQ∃eKM←IJAEJ↓iP≥βπ+Qβπrβπ∂∂,sQβ?6+AβSF(4+≠-CQβ;}s3πvYβ∂#∂∪π∂S-⊃04+>C'∂!εMβ'"β#πC∧+;MβO→β¬β≤K;∨3*kGW?&)β7π⊗Y9α'rβ?S#/⊃β←?⊗#M1β&C∃βK/≠W3Q¬;?W3 β∀4R!∩c∪O≠C#πβ≠FF⊗|ε≡nM→(≠
|{h⊂∃⊃6DβS␈∩	εA12XpzyrH:42P≠4spz≥y2P:~0z⊂!Z0s3r\P=f∂π⊃O∪O↔?⊂4`.tk '' is not recognized.

\exjg 3.10∀AMiCiJ↓io↑A]CsfAQ↑Aga∃GSMr↓iQJA→eK]GαAβ←?⊗!βββnS"q>+7πSOW¬≥8qα∂πph+g∨*β∨W↔∨→β#?:βS#∃π;?K⊃∧ββ∂↔w#'6sε+SK∃:9βO#␈+3⊃β⊗)βOC.≠'≠'.!|4(hRsgg≡['@4UbR⊗bbβW;∪/∪OSπv#Mβπfk?OQβ→AAβ≡{;SK}aβO↔∂+↔;∂/→βπMπβπKQε{→β''→βOS∞s∪πK h+WNcQ7'rβ[?∂∞∪W3π↔I04+xplained in this manual somewhere. Fortunately you won't
have too much trouble learning them, since the vast majority are simply the
names of special characters used in mathematical formulas. For example, the
control sequences {\≡\Ascr≡\}, {\≡\Bscr≡\}, $\ldotss$, {\≡\Zscr≡\} stand for
the upper case script letters $\Ascr$, $\Bscr$, $\ldotss$, $\Zscr$; and you can
type ``{\≡\aleph≡\}'' to get $\aleph$, ``{\≡\doteq≡\}'' to get $\doteq$, 
``{\≡\oplus≡\}'' to
get $\oplus$, ``{\≡\←≡\}'' to get $\←$, etc.

As mentioned above, \TEX\ can be taught to understand other control sequences
besides those in its primitive vocabulary. For example, ``{\≡\TEX≡\}'' is not one of
the standard control sequences; it had to be defined specially for producing
this manual. In general there will be special Control sequences that define the
[\sl styde} of a book or a series of books: they wilh be used at the beginning of
chapters, or tk handle special formats such as might be used in a bibliography,
etc. Such style-defining control sequences are usually defined once and for all
by \TEX\ wizards who are
skilled in the lkre of control-sequence definition; novice
\TEX\ users don't have to worry about the job of defining any new control
saquences; the only problem iS to learn how to use somebody else's definitions.\!
\xskip
(The person who designs a \TEX\ style is obliged tk write a supplemeNt to this
manual explaining how to use his or her control sequences.)

In this manual we shall frequently refer to a so-called ``basic \TEX\ styde''
consisting of the definitions in Appendix B, since these basic defInitions
have proved to be useful for common one-shot jobs. Appendix E contains an
example of a more elaborate style, namely the definitions used to typeset
D. E. Knuth's series of books on {\sl The Art of Computer Programming}. There's
no need for you to look at these appendices now, they are included only for
reference purposes.

The main point of these remarks, as far as novice \TEX\ users are concerned, is
that it is indeed possible to define nonstandard \TEX\ control sequences, but it
can be tricky. You can safely rely on the standard control sequences, and
on the basic extensions defined in Appendix B (which will be explained later in this
manual), until you become an experienced \TEX nical typist.

\danger Those of you who wish to define control sequences should know that \TEX\
has further rules about them, namely that many different spellings of the same
control sequence may be possible. This fact allows \TEX\ to handle control
sequences quite efficiently; and \TEX's usefulness is not seriously affected,
because new control sequences aren't needed very often.
A control sequence of the first kind (i.e., one
consisting of letters only) may involve both upper case and lower case letters,
but the distinction between cases is ignored after the first letter. Thus {\≡\TEX≡\}
could also be typed ``{\≡\TEx≡\}'' or ``{\≡\TeX≡\}'' or ``{\≡\Tex≡\}''---each
 of these four
has the same meaning and the same effect. But ``{\≡\tex≡\}'' would {\sl not} be the
same, because there {\sl is} a case distinction on the first letter.\xskip (Typing
``{\≡\gamma≡\}'' results in $\gamma$, but ``{\≡\Gamma≡\}'' or ``{\≡\GAMMA≡\}''
results in $\GammA$.)

\danger Another rule takes over when there are seven or more letters after the
escape:
all letters after the seventh are replaced by ``{\tt x}'', and then groups of
eight letters are removed if necessary until at most 14 letters are left.
Thus {\≡\underline≡\} is the same as {\≡\underlixx≡\}; and it is also the same
as {\≡\underlinedsymbols≡\} or any other control sequence that starts with
{\≡\u≡\} followed by {\tt n} or {\tt N}, then {\tt d} or {\tt D}, then {\tt e} or
{\tt E}, then {\tt r} or {\tt R}, then {\tt l} or {\tt L}, then {\tt i} or
{\tt I}, then 2 or 10 or 18 or 26 or $\cdots$ letters. But {\≡\underline≡\} is
not the same as {\≡\Underlines≡\}, becauSe thesa two control saqeEnces don't
`ave the same length modulo 8.

Xdanger As a Conse@EkCMGα)β/→¬##↔O*βKG3/→1βSF+K∃β∂∪∃↓E⊃Aβ↔O≡+;S'∞c3eβ&KOS'v≠Qβ∂|¬g'⊗⎇APW≡↑≡V.v<↑2ε↑d
F.v}Mαπ'⎇uRjnl≥V.g∃Dε/≡<≡ε*εmx
Mβ{rbλ1<P !ny  .5EShAα≠#πK∞≠S↔Ibβ←#↔&C↔Iβλh+ &↑NF/∩
xD
Yy↔λ*42i→P0p∩e  λj@∃cS'↔,ε3∪2Dλ	.yrw:~pr6,H24yj~w1z_ww:9≠v⊂9b\zrw1YyP7`&
`→K9OiPAβ##K↔*aβ↔≤∧↔/≡Tλ

<Y(≡Y(	ε&JlMGVαY∩ choi@
KfAMα{@∩πMRε6≡.7"εLX
∞L<H⊂∪≠v67`7ing
the EpπGCAα)βπl@λε&H→~,LY<Y-nα⊂1`(oice@LAMODαβS#∃¬≠↔∂?v!β &↑NF/∪αh⊂~~2y2P_y2FE	~Y. 4imes24X	iS5Kfdl⊂AKgg∃]aSC1YrAI%`∂S'v≠Qβ∂|¬g'⊗β{λ∞p¬q`+α+;∂↔~β?2
H	-l⎇~⊂→αh∂kd0~∀HjI9`∪'n+@≠∪kH

≥9<lFKα:4`-es26$ h∂LAαc↔;∨&Aβ≠π4∧RbαFV%g~;9.Y≠& 4imes24X	iS5KfdmqiSKKβ→IY⊂hS?2
H	-l⎇~⊂≤βix, $52\@QS[KfHi0∪SLk↔MI5cS'\Xf&U→~-\αyP∩Y9`∪'n+@≠∪d@λ
|H≠⊂∩[3z4 pπCmKαq0$*Mε/⊗Tλ↔⊗*∧BS∃GM→V/≠&kG&N\Xf&W≥~-\αyQ↔84vr\Y≠. 4imes24X	iS5Kfdl⊂AKgg∃]iSC1Yr4T∧FO∨M≥f∨"9vw'-yBπ≡↑≡V.v<Z2ε↑dλ]Y⎇~∧πλ≤∪∞↑h_ 
↑;≥~.
→(⊂↔Yα∪8, and The sama number
holds fo@HAYK]≥iP@r↓aYkf↓BA[k1iSaY∀AWL@`X@I91I←igLHXAY∃]OiP4∀bjAAYcfA∧A[kYQSaYJ↓←L@P8A)QkL~∃iQ∀Ai←i¬XA]k5EKdAα{⊂∩εM≡7&Nl8
∧{{]∞-{λ∀l↑=93L<<h_.l:;⊂,-→(~.P2|0Xz6<FB∩∩.2~yx60↑XY≤∃MY.1r≠z→≠∃MY.1r≠z→≠/∃n1r≠z9UZL.1r7]→≠/
J\.1r≠z~Y._r7z→
-≠εE∂XY≤XMXZX≠MX~≥R	εE:4_z⊂9t≠zv2⊂_2P2`.ough. EveN thoUgh \TEX\ accepts alternative spellings, you should
be consistent in each manuscript, since some implementations of \TEX\ may not be
exactly the same in this respect.

\danger Nonprinting control characters like $\langle\hbox{carriage-retqrn}\rangle$
might follow an
escape character, and these lead to distinct control sequences according to the
rules. Initially \TEX\ is set up to treat each of
 {\≡\≡\}$\langle$tab$\rangle$ And
{\≡\≡\}$\langle\hboh{line-feed}\rangle$ and {\≡\≡\}$\langle
\hbox{vertical-tab}\rangle$ and {\≡\≡\}$\langle\hbox{form-feed}\rangle$ and
{\≡\≡\}$\langle\hbox{carriage-return}\rangle$ the same as {\≡\≡char'40≡\}
(escape space); it is recommended that none of these six control sequences
be redefined.\enddanger

\endingquote
All Freestanding subheads\\ appearing at the base of the page\\
must be followed by a minimum of 3 text lines.
\author ADDISON--WESLEY (1981)
\chapterbegin 4. Fonts\\of\\Type

Occasionally you will want to change from one typeface to another, for examplE
af you wish tters called ``fonts'' of type, and the control sequence
{\≡\:≡\} is used to select a particular font. If, for example, fonts {\tt n},
{\tt b}, and {\tt s} have been predefined to represent normal, bold, and
slanted styles of type, you might specify the last few words of the first
sentence of this paragraph in the following way:
$$\displaybox{{\≡to be \:b bold \:n or to \:s emphasize \:n something.≡\}\hss}$$
(Blank spaces after font codes like {\tt b} are ignored by \TEX\ just like
the spaces after control sequences; furthermore, since a font code is always of
length 1, you don't need a space after it. Thus, {\≡\:bbold≡\} would be treated
the same as {\≡\:≡char'40b≡char'40≡char'40bold≡\}.
It is probably best to type a space after the font codes, even though you
don't really need one, for the sake of readability.)

You probably will never\footnote*{Well$\ldotsm$, hardly ever.}
use the {\≡\:≡\} sequence yourself, since
the pre\-designed format you are using usually includes special control sequences
that give symbolic names to the fonts. For example, the ``basic \TEX\ format''
in Appendix↔B defines three control sequences for this purpose.
$$\displaybox{\vbox{\halign{# \hfill⊗#\hfill\cr
{\≡\rm≡\} switches to the normal ``Roman'' typeface: ⊗Roman\cr
{\≡\sl≡\} switches to a slanted typeface:⊗{\sl Slanted}\cr
{\≡\bf≡\} switches to a boldface style:⊗{\bf Bold}\cr}}\hfill}$$
With such a system, you can type the above example as
$$\displaybox{{\≡to be \bf bold \rm or to \sl emphasize \rm something.≡\}\hss}$$
The advantage of such control sequences is that you can use the same abbreviations
{\≡\rm≡\}, {\≡\sl≡\}, {\≡\bf≡\} in any size of type, although different font
codes are actually used for different sizes. For example, fonts {\tt a},
{\tt n}, {\tt q} might be the normal, slanted, and bold fonts in a standard
``10-point'' size of type, while {\tt c}, {\tt p}, {\tt s} might be the
corresponding fonts in a smaller ``8-point'' size. It would be difficult to
remember how the codes change in different sizes. So the {\sl Art of Computer
Programming} book design in Appendix E allowpεAc←TAi↑AMCr~∀⊂I9ISMaYCs	←qwwp=9iK9a←S]P=9⎇9!MSYYxHH~∃]QK]KYKdAs=jACe∀AEKO%]]S]≤Ai↑AQsaJA5CiKe%CXAi!ChAE∃YW]OLAS\@D`[a←%]hAg%uJX~)C@≠S-⊃β←#L≠!βnarsK4ucyβ←Nc1β*β↔GWM3π3↔w!βS=¬ZpzqVλzcYbβπ;⊃¬Zpzs≤`rcy¬;'31ε∪∀4+-W'[∞c↔;Q∧εFzπ9CecVckGrbZF~r	mw:ε≤dπN␈T∞7>OL=απ&tπαoε⎇≥g"π=≠&*α
→bελQ(	M⎇⎇≠[nL+λ≤l∨*(∃
(~0↔≤z9:a]4wwεB∩∩.2~yx6 ↑q3|=↑n∂."Zst:8≠tw:∂↔?*43~v6?∩	∧@
(whichappe@¬afASαqβS#*βnpzd∧f}␈Mmw&)kKbε6}-V∂"α(⊂≠Zv6⊂ #ause {\≡\Sl≡T}↓iP≥β⊗(4+↔∂+'[πd∧Vwα∞Mrπ]@πWπ∞¬S⊂∨α Al@0AsO@*β;↔↔ ∧π&@h≤Y-\αp
bep∧ASf↓iQJA¬EEeKβ3'πSL¬vw_Q(∞kCU≤[#k≤π⊗⊂≡n∂.)[∂*?, a`≥Hαβnpzd∧&1uM`λ∞2spy→4∧esS kf @]QChAβ#gC∃¬≠'k∃πK?Uβ∂∪∃βW≤¬⊗v:aQ hUβ_l\βki`
λThe@IJACGQkCIYdASfA∧AEKiQKdAo¬rA`'-!βS=∧¬ε∞vMHRπ&Tε∞⊗}hRε/≥WεFUDπ/≡≥lr¬EH[α?_Q(λ|[⎇.
9Y`∪IP32`!tpeJ0AoQSα≠!β←*βG#πd¬Bε&≡87/∨4λ
-d≥~→$
Y>≥∧z_<∞L<K@⊂∃βiththic
λfeature You would @QsaJ~(H@∩s&K@∨εL∨⊗⊗←∂?5awMtε⊗*∂;F⊗2-vf'd	w$≥≠h∂;≤{λ]<~_.t⎇2`> something.≡\`=qQMCY1x@⊃⊂hRπMβ>)β←'d¬Bπ≡\UBπ∨⎇~F≡F≥lrε6⎇nG4≥z0~~4s⊂ ;\≡{≡\| and {\∞}≤¬0∪Y∧∧F}∂4λM}λ_9L@2qzεBαphe d¬P∨;'→β ?↑N6N→+λ∞≥h≡3nT→≠sD}λ≠Y,\α⊂:7H9ptP→|86 )citlY that y`∨@*βπK∃∧ε&/'↑-fNvtλ

q"X
nπ,∧rm≡\} i@8AiQSβ→βO∂F+7*d
FG<kλ∂≥⎇(⊂⊃Xw⊂8)→z:<P≠zqt d¬P∨K>+Qβπ⊗{WQβ&C∃β?&C↔H∀Tεv∂O4
v*ε≡f*ε,X	-d→~4l><|r-lh→P↔\α fo@9hAgo%iGQS9H
mβLεB?~,W>λ≥≠d∞αyrP→βr`∨@,εεNvuaP@@ ¬.2_w3r`2 Of @
←keGα)α`%H[¬bε<≥bε@8:y$∞αyrP≠s⊂4:[292b≤β of diffEpentd¬P∨;'→β'→∧#'≠,ε&.wAQ&F@xX	Wλ*42PY⊗s /np reqtriCtionapplIes o@9YrAo%iQS\↓BAaCIiSGk1CdAUα{	1β⊗+∂πW≡(4*R$*bqβ&{↔O9?!βOπw!βS=∧[↔πA¬##∃β&+Sπ'g→βπ␈+Qβ7|ε&*πM⊗rαF6%g~;9.⊗,N∂&F∞-I↓QXz_.8⎇→..h~3D
=≤h
\9;|O∀_=
⎇Xy.d∞~→4LT~<{D}λ→;M}9zλ∞
{{+D↓"U~∞↑h≥~T~;]↑[X;∧[{]∧{y→.4≥z;
D≤Y9L↑Kλ~-a"Yy-l<X;¬D≥≠hM9YY.,;]λ≤Y8-Dih→M⎇]≤kD
~→(M<\u∧∞~;9$∂;⎇(∞↑y(_$[{]∧{y→%D≡;⎇!Q[=<nD≡w≤mD→→9M≥Y?H
≡λ_↑$z=Z-lh≥~T→];
D≠X;,T≠yH∞M→(→M⎇]λ∩-d≥~→$∞}<⎇])|c!,{{≠\⎇~;meH⊃[n$→>_-↑≠→+∧∞z→;D∞~→(,<z8d∃⊃6D→[tM\=λ∩-d⊂<≤]Y~>∧λH≤x/≡c"I∧K→~<n
_>8M␈≡}wβk∞X/,=<L,βk∨W~m;≠∨DDβ"]

<h≤l]→8u∞4→[{ND_{yT≡w≥∞D_?@≥Yλ→\Z;Y.4~=λ∞Mh_Y$∞~→(∞?<⎇→-T|h→M⎇]λ⊂{<L&∧ikβ!,9H_,,\Y=M≤=~;md→[tD_⊂{m↑≥=→.$∪;p∩→y7⊂)≠vpw⊂X⊂87Zw:∪@'. The rulE fordefiNing a
foNt is that↓iQJA→←]hAα≠?∪∃αCnsS"βπ`2
→bπ&
_d>_;.
→*(
↑<⎇λ,(→P↔[67{rY⊂4vvYr4pz→v<FE_<P0  {\tt≥} ∞NA=`AAAβZs@'K␈b::¬
f␈"∀π∂ε≤8RJπ⎇Vrε≡Dε -<Xp~λ0x8"Xy9V⊂_w2⊂ 4his
mustbe f@=YQ←o∃HAS[5KISCQKYrAα∪eβSF)βOG≥#↔5βv7¬β|∧bπ&Tε -βw:⊂→αide; the@8AG←[∃`
β∧hS &≥m2π∨≤6*πMtε&.mx
T≥~→$9Y⊂≠q⊂:4→P37`.t fi@1JA]C5J\
∀4∃0∪∪∞s∨↔I∧{;∂∃∧	β≠?w!β∂?&)β'M∧#↔πv+⊃1βLεBε≡≥`λ
l=Y0→λ12P)→p2s )ned Aeain. Thus if
you Type, pπCrX↓AAgarqk¬n≠7IE↓rsy≥8∧π>F]`λ@4πntcode {\tdaxAQ¬`
βπdε&.∞O∀ε⊗.]`λL9Z0↔→p∩εE≥42P!Z0y0q]2y1P_08@9Qh@{Gαk@∪∂`r:π⎇→Fbε,Tπ'⊗\≡F.α≡2πε≡.Bε@yH≡-}<H⊂⊗Xw:ya\αipt a`≥H4⊃aQKdAoSY0AIki%I`↔∪eIβ∃¬≠↔QβLsS :∞O↔ε*¬
⊗rεmxND≤¬n*≥⊂0w),∧AβH≥bAEKMhAi↑↓IKMS9J~∃C1XAs←U`AM←αsSMβLqβ≠?⊗kπQβ∨β↔∂'4K∂πSL{;Mβ∂!βS#*β[↔KJβ↔∨Ns;';8∧ε}2∂→w/⊂β"R-n≥=KL9Y→≥Yy<AQA"Um;H≡-}(_p∀_w3rP→4πnts within a↓YS]J0A9)a8AoS1XAYS9JAiQ∀AYKiQKefAU`ACG
←eIS9NAi↑4∃iQK%d~∃A↓ECgK1S]Kf8NNA
=`AKq¬[aYJ0AgkaA←gJAQQChA→←]hA
←IKf↓w9ih↓C|XAm9ihA	|XAwqihAGxX~∃wqihAIxXAw9QhAK|0Aw9iPAM|AIKMKd↓eKga∃GiSm∃YrAi<@b`[A←S]h0@r[a=S]hXp[a←%]hX~(n[a←%]hX@X[a←S9hXAC9H@j[A←S]h↓e←[C8AM←]QfvAi!K\AS_As←j↓isaJ4∀HI9⊃SgaY¬sE←qmw9mE=qw9Q¬YSO]lG9QM%YY9GH~∃w8y8uBAM[CYY∃dA8uλAC]H↓g[CY1KdA8iFAC]⊂Ag[C1YKd=q⎇9Gd4∃w8=puHAC9HAg[¬YYKd↓8uJA¬]HAg5CYYKHA8uL↓C]HAM[CYY∃dA8u∧=9⎇9
e⎇⎇⎇qQgg|⊂H~∃i!JAeKMkYhA%fAg[¬YYKd↓8uDA¬]HAg5CYYKHA8uF↓C]HAM[CYY∃dA8u⊂AC]H↓g[CY1KdA8iJ~∃C9HAg[¬YYKd↓8uLA¬]HAg5CYYKI8uB\↓∨LAG=kegJ↓iQSf↓SfAg=[KiQ%]NACUiQ←eLAI←\≥h~∃I<AmKedA←Mi∃\ACh↓iQJA5←[K]PXAEK
CkgJ↓aeS]QKefA
C\Oh↓I↑AgUGPAi!S]Of4∃KCg%YrAo%iPAiICISi%←]CX↓YKCH↓isaKL\A!KIQCaf↓a←KiLAoQ↑↓oSgP↓i↑~∃MaKCV↓S\A8iLABAMiSYX↓g[CY0Am←S
JA8u∧AoSY0AGCkMJAMkQkeJA	←←Wf↓i↑A[¬WJAkMJA←L4∃MeKEkK]h↓M←]h↓mCeS¬iS←]LXAEkPA]←o¬ICsf↓ShOf↓←]Yr↓C\A←
GCgS=]CXA→←]hA→eKCV↓8uLQ1SWJ~)iQJA¬kiQ←HA←LAQQSfA5C]kC0S8uCpAoQ↑↓YSWKLASh\↓∨]JAMQ←kY⊂A]←h↓OKhAQ←↑AG¬eeSK⊂ACoCd~∃Er↓iQJAAe←ga∃GhA←_AM←]PAgoSQGQS]≤Ak]Y∃gfAi!KeJA%fAO←=HAeK¬g←\\4∀~∃9∃UKGh4∃9Kq9↑@h\DtAqAYCS\↓Q←nAQ↑AisAJAiQ∀AESE1S←Oe¬aQSF↓eKMKIK]GJ↓AA+YISGPA⊃SKiKHX~∃wqgXA∃=ke]C0AM8EUdAIS∀AeKS9JAk]⊂AC]O∃oC]IQJA≠CQQK[CQSVA9	L@d`E|@PbdjrRXfnZZ\`\NN4∀~∃9∃]IS]≥ck←i∀~∃	←8A↔]kQPOfAQCjAAgSY←8AπQRQ9)`RASf↓a←iK9iSCY1s98~)iQJA5←ghAMSO]S→SGC]PAS]m∃]iS←8AS\AQsaKg∃iiS]≤AS\AQQSfA
K]ikIr]984∃'↑A	krAi!SfAE=←V\~)9Cki!←dAε8A∂∨%⊃∨≤A¬∃→_@PDrnrR4∀\chapterbegin 13. Modes

Just as people get into different moods, \TEX\ gets into different ``modes.''\!
\xskip
(Except that \TEX\ is more predictable than people.)\xskip There are six modes:

\def\¬{\yskip\textindent{\bull}\hang after 1 }
\yskip\¬Vertical mode. [Building the vertical list used to make
the pages of output.]

\¬Restricted vertical mode. [Building a vertical list for
a box within a page.]

\¬Horizontal mode. [Building the horizontal list used to make
the next paragraph for the output pages.]

\¬Restricted horizontal mode. [Building a horizontal list for
a box within a page.]

\¬Math mode. [Building a mathematical formula to be placed in
a horizontal list.]

\¬Display math mode. [Building a mathematical formula to be placed
on a line by itself, temporarily interrupting the current paragraph.]

\yyskip\noindent In simple situations, you don't need to be aware of what mode
\TEX\ is in, because it just does the right thing. But when you get an error
message that says ``{\≡You can't do that in horizontal mode≡\}'', a knowledge
of modes helps explain why \TEX\ thinks you goofed.

Basically \TEX\ is in one of the vertical modes when it is preparing a list of
boxes and glue that will be placed vertically on top of one another; it's in
one of the horizontal modes when it is preparing a list of boxes and glue that
will be strung out horizontally next to each other with baselines aligned;
and it's in one of the math modes when it is reading a math formula.

A play-by-play account of a typical \TEX\ job should make the mode idea clear:
At the beginning, \TEX\ is in vertical mode, ready to construct pages. If you
specify glue or a box when \TEX\ is in vertical mode, the glue or the box gets
placed on the current page below what has already been specified. For example,
the {\≡\vskip≡\} instructions in the sample run we discussed in Chapter 6
contributed vertical glue to the page; and the {\≡\ctrline{MY STORY}≡\}
instruction contributed a box to the page. While building the {\≡\ctrline≡\}
box, \TEX\ went temporarily into restricted horizontal mode, but returned
to vertical mode after setting the glue in that box.

Continuing with the example of Chapter 6, \TEX\ switched into horizontal
mode as soon as it read the ``{\tt O}'' of ``{\tt Once upon atime↑''. Horizontal
mode is the mode for making paragraphs. The entire paracraph up tk the {\≡\par≡\}
Was input in horizontal mode; then it was divided into lines of the appropriate
length, these lines were appended to the page (with appropriate glue between
them), and \TEX\ was back in vertical mode.

In general when \TEX\ is in vertical mode,
the first character of a new paragraph changes the mode to horizontal for the
duration of a paragraph. If a begin-math character ({\≡$≡\}) appears when in
horizontal mode, \TEX\ plunges into math mode, processes the formula up until
the closing {\≡$≡\}, then adds the text of this formula to the current
paragraph and returns to horizontal mode.\xskip (Thus, in the ``I wonder why?''\
example of the previous chapter, \TEX\ would go into math mode temporarily
while processing {\≡\ldots≡\}, treating the dots as a formula.)

However, if two consecutive begin-math characters ({\≡$$≡\}) appear in some paragraph,
\TEX\ interrupts the paragraph where it is, contributes the paragraph-so-far
to the page, then processes a math formula in display math mode, then
contributes this formula to the current page, then returns to horizontal mode
for more of the paragraph.\xskip (The formula to be displayed should end with
{\≡$$≡\}.)\xskip For example, if you type
$$\displaybox{{\≡the number $$\pi \approx 3.1415926536$$ is important≡\}\quad,\hss}$$
\TEX\ goes into display math mode between the {\≡$$≡\}'s, and the output you
get states that the number
$$\pi\approx3.1415926536$$ is important.

\danger \TEX\ gets into restricted vertical mode when you ask it to construct
a box from a vertical list of boxes (using {\≡\vbox≡\} or {\≡\valign≡\}) or
when you do {\≡\topinsert≡\} or {\≡\botinsert≡\}. It gets into restricted
horizontal mode when you ask it to construct a box from a horizontal list
of boxes (using {\≡\hbox≡\} or {\≡\halign≡\}). Box construction is discussed
in Chapter 21. Restricted modes are like the corresponding unrestricted ones
except that you can't do certain things. For example, you can't say {\≡$$≡\}
in restricted horizontal mode, because you're not making a paragraph. You can't
begin a paragraph in restricted vertical mode, etc. All the rules about what
you can do in various modes are summarized in Chapters 24--26.\enddanger

When handling simple manuscripts, \TEX\ spends almost all of its time in
horizontal mode (making paragraphs), with brief excursions into vertical
mode (between paragraphs).

\yskip
At the end of a job, you type ``{\≡\end≡\}'' at some point when \TEX\ is in vertical
mode; this causes \TEX\ to finish any unfinished pages and stop.\xskip (Actually it
is better to type ``{\≡\vfill\end≡\}'' in most cases, since {\≡\vfill≡\} inserts
enough space to fill up the last page properly. Without the {\≡\vfill≡\},
\TEX\ attempts to stretch out the lines it has accumulated for the last
page, with the bottom line appearing at the bottom of the page; you probably
don't want this.)

\endingquote
Don't believe my husband when he says that\\
he will surely have this book done by the end of next March.
\author JILL KNUTH (1901)
Xchapterbegin 18& Fine Points\\of\\Mathematics\\Typing
~∃]JAQCYJAISMGkgg∃HA[←MhA←L↓iQJA→CGSY%iSKf↓]KKI∃HAi↑↓G←]gQekGh↓[CiP↓I←e[UYCfX4∃Ekh↓iQKe∀ACeJ↓gKmKICXA[=eJAi!S]Of↓iQCh↓BAO←=HA[CQQK[CQSGCXtypist will want to
watch for. You'll find it useful to reread this chapter after you have typed
your first paper that is heavily laden with math; and you should read it now, too.

\subsec1. Punctuation. When a formula is followed
by a period, comma, semicolon, colon, question mark, exclamation point, etc.,
put the punctuation {\sl after} the {\≡$≡\}, when the formula is in the text;
but put the punctuation {\sl before} the {\≡$$≡\} when the formula is displayed.
For example,
$$\displaybox{{\≡If $x<0$, we have shown that $$y=f(x).$$≡\}\hfill}$$
The reason is that \TEX's spacing rules within paragraphs work best when the
punctuation marks are not considered part of the formulas.

Similarly, don't type something like this:
$$\hbox to size{\hskip 3pc{\≡for $x = a, b$, or $c$.≡\}\hfill}$$
It should be
$$\hbox to size{\hskip 3pc{\≡for $x = a$, $b$, or $c$.≡\}\hfill}$$
The reason is that \TEX\ will always put a ``thin space'' between the comma and
the {\tt b} in \hbox{\≡$x = a, b$≡\}. This space will probably not be the
same as the space \TEX\ puts after the comma {\sl after} the {\tt b}, since the
second comma is outside the formula; and such unequal spacing would look bad.
When you type it right, the spacing will look good. Another reason for
not typing ``\hbox{\≡$x = a, b$≡\}'' is that it inhibits the possibilities
for breaking lines in a paragraph: \TEX\ will never break at the space between
the comma and the {\tt b} because breaks after commas in formulas are usually
wrong. For example, in the equation ``\hbox{\≡$x = f(a, b)$≡\}'' we certainly
don't want to put ``$x=f(a,$'' on one line and ``$b)$'' on the next.

Thus, when typing formulas in the text of a paragraph, keep the math properly
segregated: Don't take operators like $-$ and $=$ outside of the {\≡$≡\}'s,
and keep commas inside the formula if they are truly part of the formula.
But if a comma or period or other punctuation mark
belongs linguistically to the sentence rather than
to the formula, leave it outside the {\≡$≡\}'s.

\subsec 2. Roman letters in formulas. The names of algebraic variables
in formulas are usually italic or Greek letters, but common mathematical
operators like ``log'' are always set in roman type. The best way to deal
with such operators is to make use of the following control sequences (all of
which are defined in the {\tt basic} format of Appendix B):
$$\display\vbox{\halign{\tt\char'134#\hfill\qquad⊗\tt\char'134#\hfill\qquad
⊗\tt\char'134#\hfill\qquad⊗\tt\char'134#\hfill\qquad⊗\tt\char'134#\hfill\cr
cos⊗exp⊗lim⊗log⊗sec\cr
cot⊗gcd⊗liminf⊗max⊗sin\cr
csc⊗inf⊗limsup⊗min⊗sup\cr
det⊗lg⊗ln⊗Pr⊗tan\cr}}$$
The following examples show that such control sequences lead to roman type
as desired:
$$\vbox{\baselineskip15pt\lineskip6pt
\halign to size{\hskip 3pc\hbox to 225pt{#\hfill}⊗$#$\hfill
\tabskip 0pt plus 100pt\cr
\noalign{\vskip4pt}
Type⊗\hbox{\hskip-10pt and you get}\cr
\noalign{\vskip 4pt}
{\≡$\sin2\theta=2\sin\theta\cos\theta$≡\}⊗\sin2\theta=2\sin\theta\cos\theta\cr
{\≡$O(n\log n\log\log n)$≡\}⊗O(n\log n\log\log n)\cr
{\≡$\exp(-x↑2)$≡\}⊗\exp(-x↑2)\cr
{\≡$$\max≡↓{1≡≤n≡≤m}\log≡↓2P≡↓n$$≡\}⊗\dispstyle{\max↓{1≤n≤m}\log↓2P↓n}\cr
{\≡$$\lim≡↓{x→0}{\sin x\over x}=1$$≡\}⊗\dispstyle{\lim↓{x→0}{\sin x\over x}=1}\cr
\noalign{\vskip4pt}}}$$
In the second example, note that $O$ is an upper case letter ``oh'', not a zero;
a formula should usually have ``{\tt O}'' instead of ``{\tt0}'' when a left
parenthesis follows. The fourth  and fifth examples show that some of the special
control sequences are treated by \TEX\ as ``large operators'' with limits
just like $\sum$; compare the different treatment of subscripts applied to
{\≡\max≡\} and to {\≡\log≡\}.

\danger Another way to get roman type into mathematical formulas is to
include constructed boxes (cf.\ Chapter 21); such boxes are treated the
same as single characters or subformulas. For example,
$$\displaybox{{\≡$\exp(x+\hbox{constant})$≡\}\qquad\hbox{yields}\qquad
$\exp(x+\hbox{constant})$\quad.\hfill}$$
The fonts used inside such boxes are the same as the fonts used {\sl outside}
gf the math brackets {\≡$≡\}$\ldotsm${\≡$≡\}; the characters do {\sl not}
change size when the style changes.

\danger\dexno 18&!: Explaif how to tqpE the
phrase `@IU=wqQE←Qm8uHAQQ⎇|H↓a←←h≤NXAo!KeJA↓@I]=m9QE←aw8uH↓iQ⎇|⊂NNASL~∃ie∃CiKHαβπMβλβ7πSF+7πSN≠π1β4{K'Wd	β←'&Aβ¬β∨+C↔K≤≠C'C"qαS#*β3↔S&+KMβεβS!≥:βG#?.c⊂4+⊗)β'9ε3?;P?ZsCQε#y:s.s∪∪πv;↔H4Ph*sO.∪O↔
~qα3π⊗;∃βC∂∪↔;SF+O↔Mε;⊃β␈##↔I∧∧F.f≥]↔&/.5`hU=≥f≡*
\↔&F]\↔&N<≥Bε6}-W.f≡4ε≡∞dv/"

wπ⊗≤-GJεL≡&>*DE$-DεF∂4∞Fzε≡f*π=yV(h.|↔JπMtεn∞<Tε/6↑%Vf∂,|W∩π?≥V⊗}N5`hTmz"ε/≥WεfUDεN2∂≥w*πO~ε(h$@Ef&≡>εf∂≤-wG]Nl&␈G;Mε∞f≤⎇gZ≥MfNfKL7h/;Ar"KN7∂↔O2∩]g>≡''[∃;G∨∂.O3
]N>↔↔'6∃1ugkL7⊂h/;Aqrβd↓r↓dβb↓rβd↓r↓dβb↓rβd↓b¬N>↔↔'6∃5g∨≡.G[
;N7∂↔O2∩]g>≡''[∃?πwwoogwwdDAugkL7↔wkMπ∨∨dD@hWMRπ⊗↑>Vg"∞=ε␈?4∩π6≡-⊗/'∀	v2ε≡l⊗Nf≤-F*π>≡V∂⊗U↑&}␈D∞6N>n7 hRDKF&O>
F∂MN>↔↔'6∃5g∨≡.G[
;N7∂↔O6∩]g>≡''[∃;G∨∂.O3
]N>↔↔'6∃5g∨≡.G[
;N7∂↔O6∩←Googwwoob" Q*FF*∞Mπ⊗.T
F∂⊗|↑7"π=≤vw~
W⊗*≡&*ε≥MBε/><Vw&≤≥FgJ∞Mε*π<≥V*b←ε≡/∞Dε6␈$∩π6↑.FN≡≥APW≡\⎇V.wDε¬gl-wG]M&␈G;G$¬f=↔∩;⊗fWuglm⊗fgdtrπ&≡Bε>↑N2π⊗↑V∂&\Dε∂~
|g&.d↔_h-lV≡/><↔↔J∞Mrπ⊗\≤6BπMRε&↑=↔⊗.D∞6OVW4ε↔/D∞FF*∞=V∞fL↑"π≡≤⎇g~ε≡,Rε&≡>FNv>Dε≡F≡,⊗∨&↑.0hVm}Vv"
≥b¬eH[α?~
\↔&Bmvw'5aPPbrel⊗v"∞=rε}eaPPh+Nf6NMKF.vAQ